:: Integer -> Double -package:basic-prelude package:random-fu

The CDF of the random variable realFloatStdUniform.